[1] Hoctor R, Tomlinson H. Delay-hopped transmitted-reference RF communications//Proceedings of the IEEE Conference on Ultra-Wideband Systems and Technologies. Baltimore: , 2002: 265-270. [2] Goeckel D, Zhang Qu. Slightly frequency- shifted reference ultra-wideband (UWB) radio[J]. IEEE Transactions on Communications, 2007, 55(3): 508-519. [3] Zhang Jian, Hu Hanying, Liu Luokun, et al. Code-orthogonalized transmitted-reference ultra-wideband (UWB) wireless communication system//Proceedings of International Conference on Wireless Communications, Networking and Mobile Computing. Shanghai: , 2007: 528-532. [4] Winkler M R. Chirp signals for communications //1962 IEEE WESCON Convention Record. : IEEE Press, 1962, 14(2): 113-115. [5] Koike Y, Ishii S, Kohno R. Chirp UWB system with software defined receiver for industrial mobile ranging and autonomous control// 2004 IEEE Conference on Ultra-Wideband Systems and Technologies. Chiba: IEEE Press, 2004: 381-385. [6] Zhang Peng, Liu Hao. An ultra-wide band system with chirp spread spectrum transmission technique //2006 International Conference on ITS Telecommunications. Chengdu: IEEE Press, 2006: 294-297. [7] Liu Hao. Multicode ultra-wideband scheme using chirp waveforms [J]. IEEE Journal on Selected Areas in Communication, 2006, 24(4): 885-891. [8] Zhang Jian, Hu Hanying, Zhang Zhiyuan, et al. Chirp frequency-translated reference ultra-wideband (UWB) wireless communication system //2008 International Conference on Wireless Communications, Networking and Mobile Computing. Dalian: IEEE Press, 2004: 1-4. (上接第106页) [12] Cousot P, Cousot R, Feret J, et al. The astree analyser//ESOP 2005. Edinburgh: LNCS, 2005: 21-30. [13] Cousot P, Cousot R, Feret J, et al. Varieties of static analyzers: a comparison with ASTREE//TASE 2007. Shanghai: IEEE, 2007: 3-17. [14] Flanagan C, Leino K R M, Lillibridge M. Extended static checking for Java//PLDI 2002. Berlin: ACM, 2002: 234-245. [15] Aho A V, Sethi R, Ullman J D. Compilers: principles, techniques, and tools [M]. 北京: 人民邮电出版社, 2002: 608-633. [16] 杨朝红, 宫云战, 肖庆. 基于缺陷模式的软件测试中的区间运算应用 [J]. 计算机辅助设计与图形学学报, 2008, 20(12): 1-6. Yang Zhaohong, Gong Yunzhan, Xiao Qing. The application of interval computation in software testing based on defect patterns [J]. Journal of Computer-Aided Design & Computer Graphics, 2008, 20(12): 1-6. [17] 王雅文, 宫云战, 肖庆. 扩展区间运算的变量值范围分析技术[J]. 北京邮电大学学报, 2009, 32(3): 36-41. Wang Yawen, Gong Yunzhan, Xiao Qing. Variable range analysis based on interval computation[J]. Journal of Beijing University of Posts and Telecommunications, 2009, 32(3): 36-41. |